On Principal Congruences in Distributive Lattices with a Commutative Monoidal Operation and an Implication
نویسندگان
چکیده
منابع مشابه
On Ideals and Congruences of Generalized Almost Distributive Lattices
Necessary and sufficient conditions for a GADL to become an ADL are obtained interms of congruence relations and proved that every associative GADL is an ADL.
متن کاملA Ternary Operation in Distributive Lattices
I t can be easily seen that the graph [l , p. 9 ] , 1 of the Boolean algebra B of 2 elements (consisting of the vertices and edges of an n-cube) has 2(n\) "link-automorphisms," whereas B has only (n\) lattice-automorphisms. In an unpublished book, one of us has developed new operations in B and other distributive lattices, which admit such a wider group of invariance. The purpose of this note i...
متن کاملDistributive Lattices with a Generalized Implication: Topological Duality
In this paper we introduce the notion of generalized implication for lattices, as a binary function⇒ that maps every pair of elements of a lattice to an ideal. We prove that a bounded lattice A is distributive if and only if there exists a generalized implication ⇒ defined in A satisfying certain conditions, and we study the class of bounded distributive lattices A endowed with a generalized im...
متن کاملEvolution on distributive lattices.
We consider the directed evolution of a population after an intervention that has significantly altered the underlying fitness landscape. We model the space of genotypes as a distributive lattice; the fitness landscape is a real-valued function on that lattice. The risk of escape from intervention, i.e., the probability that the population develops an escape mutant before extinction, is encoded...
متن کاملOn (finite) distributive lattices with antitone involutions
Some well-known algebras of logic or other algebraic models of non-classical reasoning, such as MV-algebras or orthomodular lattices, can be regarded as lattices with antitone involutions, i.e., bounded lattices with the property that all principal filters (or ideals) are equipped with antitone involutions. This simple observation is behind the so-called “basic algebras” that were introduced in...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Studia Logica
سال: 2018
ISSN: 0039-3215,1572-8730
DOI: 10.1007/s11225-018-9796-6